# (decoded with TMPL 1000)
*****: (EOF-terminated list)
  0: Value: -23298
  1: Value: -10029
  2: Value: -14881
  3: Value: -8566
  4: Value: -817
  5: Value: -10023
  6: Value: -15419
  7: Value: -15334
  8: Value: -21931
  9: Value: 21845
  10: Value: -21846
  11: Value: 13914
  12: Value: -21845
  13: Value: -7830
  14: Value: -1445
  15: Value: -5462
  16: Value: -21826
  17: Value: 28202
  18: Value: -5590
  19: Value: 12650
  20: Value: -30038
  21: Value: -21842
  22: Value: -20088
  23: Value: -21822
  24: Value: -5590
  25: Value: 2126
  26: Value: -21846
  27: Value: 21962
  28: Value: -21848
  29: Value: 8692
  30: Value: -5590
  31: Value: 12762